file (READ ${DOCSTRING_IN_FILE} DOCSTRING_IN_FILE_LINES)
if (TIMES STREQUAL x2)
  string (REGEX REPLACE "\\\\" "\\\\\\\\\\\\\\\\" DOCSTRING_FILE_LINES "${DOCSTRING_IN_FILE_LINES}")
else ()
  string (REGEX REPLACE "\\\\" "\\\\\\\\" DOCSTRING_FILE_LINES "${DOCSTRING_IN_FILE_LINES}")
endif ()
file (WRITE ${DOCSTRING_FILE} "${DOCSTRING_FILE_LINES}")
